A litteratur study of the Verification methodology manual and a study of which possibilities this methodology gives and how applicable it is for use in Atmel's future module and chip projects. Afterwards VMM shall be apllied ...